Systèmes de gestion de ressources et aspects de disponibilité

RÉSUMÉ. Dans cet article, nous considérons la gestion des ressources en isolation (i.e., séparée de la fonctionnalité de base) et la prévention des dénis de service (i.e., la disponibilité) comme des aspects. Nous nous concentrons sur les dénis de service liés à la gestion de ressources (famines, interblocages). Nos aspects spécifient des limites de temps ou un ordre dans l’allocation des ressources. Ils peuvent être vus comme la spécification d’une politique de disponibilité. L’approche repose sur les automates temporisés pour modéliser les services et les aspects. Ceci permet de voir le tissage comme un produit d’automates et d’utiliser des outils automatiques pour vérifier que les aspects imposent les propriétés de disponibilité attendues.